Konferencja Naukowa „Formy wspierania rodziny – teoria i praktyka”, Lublin, 15 marca 2016 roku

Package ‘ mmcm ’ January 15 , 2016

January 15, 2016 Type Package Title Modified Maximum Contrast Method Version 1.2-6 Author Kengo NAGASHIMA and Yasunori SATO Maintainer Kengo NAGASHIMA Depends mvtnorm Description An implementation of modified maximum contrast methods and the maximum contrast method: Functions 'mmcm.mvt' and 'mcm.mvt' give P-value by using randomized quasi-Monte Carlo method with 'pmvt' functio...

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Apunts de teoria de jocs

C. Funcions convexes 31 C.1 Funcions convexes . . . . . . . . . . . 31 C.2 Funcions còncaves . . . . . . . . . . . 32 C.3 Operacions que preserven la convexitat . 32 C.4 Continuïtat i derivabilitat de funcions convexes . . . . . . . . . . . . . . . . . 32 C.5 Exemples de funcions convexes en R . . 33 C.6 Exemples de funcions convexes en R . 33 C.7 Funcions quasiconvexes . . . . . . . . . 33 C.8...

Elementos de Teoria da Informação

UU UU UU UU 05 - 10 - 2016 15 - Jul - 2013 14 - Jul - 2016

Final Report: RESEARCH AREA 7.1:Exploring the Systematics of Controlling Quantum Phenomena Report Title This research is concerned with the theoretical and experimental control quantum dynamics phenomena. Advances include new algorithms to accelerate quantum control as well as provide physical insights into the controlled dynamics. The latter research includes the demonstration of a new protoco...